Mencius: Building Efficient Replicated State Machine for WANs
نویسندگان
چکیده
We present a protocol for general state machine replication – a method that provides strong consistency – that has high performance in a wide-area network. In particular, our protocol Mencius has high throughput under high client load and low latency under low client load even under changing wide-area network environment and client load. We develop our protocol as a derivation from the well-known protocol Paxos. Such a development can be changed or further refined to take advantage of specific network or application requirements.
منابع مشابه
Mencius: Building Efficient Replicated State Machines for WANs
We present a protocol for general state machine replication – a method that provides strong consistency – that has high performance in a wide-area network. In particular, our protocol Mencius has high throughput under high client load and low latency under low client load even under changing wide-area network environment and client load. We develop our protocol as a derivation from the well-kno...
متن کاملLatency-Efficient Atomic Broadcast for WANs
Fault-tolerant state-machine replication has garnered strong interest as a means of enhancing the availability and reliability of distributed systems. A fault-tolerant state machine is implemented by a collection of deterministic servers, which starting from the same initial state and given the same sequence of client requests, go through the same sequence of state transitions. The difficulty o...
متن کاملMencius: A Chinese Named Entity Recognizer Using Hybrid Model
This paper presents a maximum entropy based Chinese named entity recognizer (NER): Mencius. It aims to address Chinese NER problems by combining the advantages of rule-based and machine learning (ML) based NER systems. Rule-based NER systems can explicitly encode human comprehension and can be tuned conveniently, while ML-based systems are robust, portable and inexpensive to develop. Our hybrid...
متن کاملMencius: A Chinese Named Entity Recognizer Using the Maximum Entropy-based Hybrid Model
This paper presents a Chinese named entity recognizer (NER): Mencius. It aims to address Chinese NER problems by combining the advantages of rule-based and machine learning (ML) based NER systems. Rule-based NER systems can explicitly encode human comprehension and can be tuned conveniently, while ML-based systems are robust, portable and inexpensive to develop. Our hybrid system incorporates a...
متن کاملReachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
متن کامل